Homotopy in Cat via Paths and the Fundamental Groupoid of a Category
نویسنده
چکیده
We construct an endofunctor of paths in the category of small category and show how to construct the standard homotopy invariants from it. We give a novel proof that the fundamental groupoid of a category is its associated universal groupoid.
منابع مشابه
Models and van Kampen theorems for directed homotopy theory
We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no direct analog of the fundamental group. However, they do assemble into a category, called the fundamental category. We define models of the fundamental categ...
متن کاملNotes on the Geography of the Plane at Infinity
This note is a kind of sequel to [19]: the questions behind it have their start in early work of Kapranov on Drinfel’d’s asymptotic zones for the KZ equations, and they grew under the influence of Consani and Marcolli’s insight that completely decomposed curves are natural basepoints in Arakelov geometry. It has benefitted from conversations with J. Baez, S. Devadoss, M. Davis, P. Etingof, A. H...
متن کاملThe Fundamental Category of a Stratified Space
The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified, Treumann, based on unpublished ideas of MacPherson, constructed an ‘exit category’ (in the terminology of this paper, the ‘fundamental category’) which classifies constructible sheaves, equivalently stratified etale covers. This pap...
متن کاملGalois Theory and a New Homotopy Double Groupoid of a Map of Spaces
The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new homotopy double groupoid of a map of spaces, which includes constructions by others of a 2-groupoid, cat-group or crossed module. An advantage of our construction is that the double groupoid can give an algebraic model of...
متن کاملToward a Fundamental Groupoid for the Stable Homotopy Category
This very speculative talk suggests that a theory of fundamental groupoids for tensor triangulated categories could be used to describe the ring of integers as the singular fiber in a family of ring-spectra parametrized by a structure space for the stable homotopy category, and that Bousfield localization might be part of a theory of ‘nearby’ cycles for stacks or orbifolds.
متن کامل